301. Set theory and hierarchy theory V : Bierutowice, Poland, 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, A. Zarach
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Set theory,Hierarchies -- Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
248
.
C6
1976
302. Set theory and hierarchy theory V: Bierutowice, Poland, 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Hierarchies Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
303. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده : edited by W. Marek, M. Srebrny, A. Zarach
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Bibliography ، Mostowski, Andrzej, 3191-5791,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
248
.
C6
1975
304. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
248
.
C6
305. Set theory and hierarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Bibliography ، Mostowski, Andrzej,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
3
.
L28
no
.
537
306. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
1
.
L4
v
.
537
307. Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
پدیدآورنده : edited by W. Marek, M. Srebrny and A. Zarach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej, 3191-5791
رده :
QA
3
.
L28
Vol
.
537
308. Set theory and hirarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975;]Proceedings[
پدیدآورنده : Conference on Set Theory and Hierarchy Theory, 2d, Bierutowice, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibiography ، Mostowski, Andrzej
رده :
QA
3
.
L28
no
.
537
309. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R. B. Jensen and A. Prestel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
872
310. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Set theory - Congresses,Model theory - Congresses
رده :
QA
.
L28
,
no
3
.
872
311. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
248
.
S4
1979
312. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
872
313. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
1
.
L4
v
.
872
314. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Model thoery - Congresses
رده :
QA
3
.
L28
no
.
872
315. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
پدیدآورنده : Ghilardi, Silvio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
رده :
QA
169
.
G474S5
316. Simple groups of finite Morley rank /
پدیدآورنده : Tuna Altinel, Alexandre V. Borovik, Gregory Cherlin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Finite groups,Model theory
رده :
QA9
.
7
.
A48
2007
317. Simple groups of finite Morley rank
پدیدآورنده : Altinel, Tuna, 6691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Finite groups
رده :
QA
9
.
7
.
A48S5
318. Simple theories and hyperimaginaries /
پدیدآورنده : Enrique Casanovas
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : First-order logic,Hyperspace,Model theory
رده :
QA9
.
7
.
C37
2011
319. Simplicity theory /
پدیدآورنده : Byunghan Kim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Model theory.
رده :
QA9
.
7
.
K56
2014eb
